Extending W for Object-Z

Double Integral Characterization for Bergman Spaces

‎In this paper we characterize Bergman spaces with‎ ‎respect to double integral of the functions $|f(z)‎ ‎-f(w)|/|z-w|$,‎ ‎$|f(z)‎ -‎f(w)|/rho(z,w)$ and $|f(z)‎ ‎-f(w)|/beta(z,w)$,‎ ‎where $rho$ and $beta$ are the pseudo-hyperbolic and hyperbolic metrics‎. ‎We prove some necessary and sufficient conditions that implies a function to be...

Extending the Qualitative Trajectory Calculus Based on the Concept of Accessibility of Moving Objects in the Paths

Qualitative spatial representation and reasoning are among the important capabilities in intelligent geospatial information system development. Although a large contribution to the study of moving objects has been attributed to the quantitative use and analysis of data, such calculations are ineffective when there is little inaccurate data on position and geometry or when explicitly explaining ...

Applications of subordination theory to starlike functions

Let $p$ be an analytic function defined on the open unit disc $mathbb{D}$ with $p(0)=1.$ The conditions on $alpha$ and $beta$ are derived for $p(z)$ to be subordinate to $1+4z/3+2z^{2}/3=:varphi_{C}(z)$ when $(1-alpha)p(z)+alpha p^{2}(z)+beta zp'(z)/p(z)$ is subordinate to $e^{z}$. Similar problems were investigated for $p(z)$ to lie in a region bounded by lemniscate of Bernoulli $|w^{2}-1|=1$ ...

Extending Z for Object-oriented Speciications

Extending the Useful Application Domain for Formal Methods

Research into the industrial application of formal methods has concentrated almost exclusively on the speci cation of software systems in high-risk or safety critical applications Thus, attention has been directed to technical problems with technical systems. In this paper we justify and report early results from a research project which aims to evaluate the implications of using the formal spe...